Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
841	Accepted to appear in IEE Systems Biology Symbolic Reachable Set Computation of Piecewise Aﬃne Hybrid Automata and its Application to Biological Modelling: Delta-Notch Protein Signalling Ronojoy Ghosh Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2006-11-03 02:08:52 Formal methods Hybrid automaton State transition system Computer science Cellular automata Model checking Automata theory Models of computation Theoretical computer science
842	Request for Banner Subject Code (Course Designator) This form is for requesting a new subject code in Banner (i.e., course designator) or a change to an existing subject code. (Examples of subject codes are ABUS, ANTH, Add to Reading List Source URL: www.uaf.edu Language: English - Date: 2012-08-29 20:34:20 Procedural programming languages Cross-platform software Automata theory Pattern matching Regular expression C Software engineering Computing Computer programming
843	Functional Analysis of Large-scale DNA Strand Displacement Circuits Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, and Hillel Kugler Microsoft Research, Cambridge UK {yordanov,cwinter,yousse Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2013-07-20 11:00:57 Q0 Counter Q Finite-state machine Automata theory Digital circuits Digital electronics
844	Regular Expressions for Google Analytics Add to Reading List Source URL: www.lunametrics.com Language: English - Date: 2012-02-15 15:01:36 Computer programming Automata theory Software engineering Perl 6 Google Analytics Google Perl 6 rules ReDoS Regular expressions Computing Pattern matching
845	#!/usr/bin/env ghc -- the following errorprovable czyborspace thesis -- ©©bysa facebook.com/roman.czyborra [removed[removed]expresses that אל nature is governed by one tiny deterministic le Add to Reading List Source URL: czyborra.com Language: English - Date: 2013-11-15 05:50:50 Statistics Systems theory Cellular automaton Calculating Space A New Kind of Science Konrad Zuse Stephen Wolfram Digital physics Statistical hypothesis testing Science Cellular automata Wolfram Research
846	ANNUAL REPORT FOUNDATIONS OF HYBRID AND EMBEDDED SYSTEMS AND SOFTWARE NSF/ITR PROJECT – AWARD NUMBER: CCR[removed]UNIVERSITY OF CALIFORNIA AT BERKELEY VANDERBILT UNIVERSITY Add to Reading List Source URL: chess.eecs.berkeley.edu Language: English Differential equations Systems theory Association of Public and Land-Grant Universities Abstraction Hybrid automaton Hybrid system University of California Berkeley Discrete system System Science Mathematics Automata theory
847	/Users/czyborra/3.semester/Studium/plank.hs Saved: [removed]:04:43 1 Page 1 of 2 Printed For: Roman Czyborra Add to Reading List Source URL: czyborra.com Language: English - Date: 2013-10-30 02:07:04 Cellular automaton A New Kind of Science Rule 110 Digital physics Radiate Extensible User Interface Protocol Science Computing Computer science Cellular automata Theory of computation Wolfram Research
848	Microsoft PowerPoint - JFLAPFIE07.ppt Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2007-10-14 08:12:13 Finite-state machine SC Automata theory Models of computation National Parliamentary Debate Association
849	Light-weight XPath Processing of XML Stream with Deterministic Automata Makoto Onizuka NTT CyberSpace Laboratories, NTT Corporation 1-1 Hikari-no-oka, Yokosuka, Kanagawa, [removed]Japan Add to Reading List Source URL: xmltk.sourceforge.net Language: English - Date: 2003-11-27 06:47:49 Models of computation Theoretical computer science Nondeterministic finite automaton Deterministic finite automaton DFA Records Regular expression Finite-state machine GOLD XML Automata theory Theory of computation Computing
850	F Formal Methods && Tools Group Stefania Gnesi F M&&T Add to Reading List Source URL: fmics.inria.fr Language: English - Date: 2003-07-04 03:48:30 Computing Computer science Model checking Automata theory Concurrent computing Calculus Finite-state machine Actor model Petri net Models of computation Formal methods Concurrency

UPDATE